1. Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, revised lectures
المؤلف: Roland Backhouse, Roy Crole, Jeremy Gibbons, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics,Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
2297
2. Algorithms and complexity : new directions and recent results
المؤلف: edited by J. F. Traub
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Computational complexity,Data processing -- Congresses ، Mathematics
رده :
QA
76
.
6
.
S98
1976
3. Algorithms and complexity; new directions and recent results; proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Eletronic digital computers-- Programming-- Congresses,، Computational complexity-- Congresses,، Mathematics-- Data processing-- Congresses
رده :
QA
76
.
6
.
S9195
4. Algorithms and complexity ; new directions and recet results
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع: ، Electronic digital computers- programming- congresses,، Computational complexity - Congresses,، Mathematics - Data processing - Congresses
رده :
QA
76
.
6
.
S9195
1976
5. Algorithms and complexity : recent results and new directions : )proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976(
المؤلف: edited by J. F. Traub
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Computational complexity,Congresses ، Mathematics - Data processing
رده :
QA
76
.
6
.
S919
1976
6. Algorithms and model formulations in mathematical programming
المؤلف: edited by Stein W. Wallace
المکتبة: (طهران)
موضوع: Congresses ، Programming )Mathematics(,Congresses ، Mathematical models
رده :
T
57
.
7
.
N36
1987
7. Algorithms & model formulations in mathematical programming
المؤلف:
المکتبة: (طهران)
موضوع: PROGRAMMING )MATHEMATICS(-CONGRESSES , MATHEMATICAL MODELS-CONGRESSES
رده :
T
57
.
7
.
N36
1987
8. Applications of mathematical programming techiques: a conference held at Cambridge, U. K., in June 1968, under the aegis of the N.A.T.O. Scientific Affairs Committee
المؤلف: / edited by E. M. L. Beale
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Programming (Mathematics) - Congresses
رده :
519
.
7
A652
9. Bidirectional transformations :
المؤلف: Jeremy Gibbons, Perdita Stevens (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
رده :
QA601
10. Category theory and computer science
المؤلف: / D.H. Pitt ... [et al.] (ed.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programming--Congresses,Categories (Mathematics)--Congresses
رده :
QA
,
76
.
6
,.
C3882
,
1989
11. Category theory and computer science
المؤلف: D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C388
76
.
6
1987
12. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings
المؤلف: D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
283
13. Category theory and computer science: Edinburgh, U.K., September 7-9, 1987 : proceedings. Edinburgh, U.K., September 7-9, 1987 : proceedings, Lecture notes in comuter science
المؤلف: D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Computer programming- Congresses,، Categories )Mathematics(- Congresses
رده :
QA
76
.
6
.
C388
1987
14. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
المؤلف: D.H. Pitt ... )et al.( )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Electronic digital computers -- Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
6
.
C3882
1989
15. Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings
المؤلف: D.H. Pitt...]et al.[ )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
389
16. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
المؤلف: D.H. Pitt ... )et al.( )ed.(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
389
17. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
المؤلف: D.H. Pitt ... )et al.( )ed.(
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C3882
76
.
6
1989
18. Category theory and computer science: Manchester, UK, September 5-8, 1989, proceedings. Manchester, UK, September 5-8, 1989, proceedings, Lecture notes in comuter science
المؤلف: D.H. Pitt ... ]et al.[ )ed.(
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Computer programming- Congresses,، Categories )Mathematics(- Congresses
رده :
QA
76
.
6
.
C3882
1989
19. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
المؤلف: David Pitt, David E. Rydeheard, Peter Johnstone, eds
المکتبة: (طهران)
موضوع: Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
رده :
QA
76
.
6
.
B53
1995
20. Category theory and computer science : 7th International Conference, CTCS '97,Santa Margherita Ligure, Italy, Sptember 1997: Proceeding
المؤلف: / Eugenio Moggi, Giuseppe Rosolini(eds.)
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
رده :
QA76
,.
6
.
B53
